On a Practical Way of Describing Formal Deductions
نویسندگان
چکیده
منابع مشابه
Phenomenology of Incompleteness: from Formal Deductions to Mathematics and Physics
This paper is divided into two parts. The first proposes a philosophical frame and it “uses” for this a recent book on a phenomenological approach to the foundations of mathematics. Gödel’s 1931 theorem and his subsequent philosophical reflections have a major role in discussing this perspective and we will develop our views along the lines of the book (and further on). The first part will also...
متن کاملDescribing Knowledge Representation Schemes: a Formal Account
The representation and manipulation of knowledge has been drawing a great deal of attention since the early days of computer science, resulting in the introduction of numerous different Knowledge Representation schemes (KRschemes). Given the great variety of such available schemes, it would be desirable to have a uniform way of treating them. In this report, we propose a formal, unifying framew...
متن کاملFormal Methods in Describing Architectures
Formal methods are gaining prominence in software engineering as a way to insure that a specification is consistent with its intended meaning, and that two formally-rendered artifacts (e.g., a specification and an implementation) are consistent with each other in some precise way. Formal methods in the arena of software architecture tend to manifest themselves in representation technology, prin...
متن کاملPractical Semiotics : A Formal Theory
We address the development of a practical theory of semiotics within the context of the IEEE Standard Upper Ontology effort. The theory has the form of a set of predicates and other terms that are axiomatized in first order logic. We argue that this theory is su fficient for representing many of the subtleties of semantic representation that are likely to arise in the cont ext of interoperabili...
متن کاملOn the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fundamental assumption of this paper is that formal methods research has produced several classes of analysis that can prove useful in software development. However, to be useful to software practitioners, most of whom l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1962
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000023795